Rudnicki, Piotr: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Psychophysiological approach to the Liar paradox: Jean Buridan’s virtual entailment principle put to the test

Rudnicki, Konrad, Łukowski, Piotr

Journal:

Year:

2019

Language:

english

File:

PDF, 819 KB

english, 2019

2

Proving properties of Pascal programs in MIZAR 2

Piotr Rudnicki, Włodzimierz Drabent

Journal:

Acta Informatica

Year:

1985

Language:

english

File:

PDF, 1.03 MB

english, 1985

3

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

Arnaud, Adam St., Rudnicki, Piotr

Journal:

Formalized Mathematics

Year:

2013

Language:

english

File:

PDF, 190 KB

english, 2013

4

A fast algorithm for constructing trees from distance matrices

Joseph C. Culberson, Piotr Rudnicki

Journal:

Information Processing Letters

Year:

1989

Language:

english

File:

PDF, 833 KB

english, 1989

5

[IEEE 2006 International Conference on Microwaves, Radar & Wireless Communications - Krakow, Poland (2006.05.22-2006.05.24)] 2006 International Conference on Microwaves, Radar & Wireless Communications - FDTD Analysis of Multichip Vertical Interconnects

Rudnicki, Janusz, Starski, J. Piotr

Year:

2006

Language:

english

File:

PDF, 2.22 MB

english, 2006

6

Analysis of Selected Clinical and Laboratory Parameters in Patients with Splenectomy Complications Due to Hematological Disorders

Żukrowski, Piotr, Kielan, Wojciech, Grzebieniak, Zygmunt, Rudnicki, Jerzy, Tarnawa, Robert, Agrawal, Anil, Bąk, Tomasz, Knakiewicz, Monika

Journal:

Polish Journal of Surgery

Year:

2007

Language:

english

File:

PDF, 560 KB

english, 2007

7

A Virtual Token Protocol For Bus Networks: Correctness and Performance

Gburzynski, Pawel, Rudnicki, Piotr

Journal:

INFOR Information Systems and Operational Research

Year:

1989

File:

PDF, 1.77 MB

1989

8

On Equivalents of Well-Foundedness

Piotr Rudnicki, Andrzej Trybulec

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 192 KB

english, 1999

9

Intubation by paramedics using the ILMA or AirTraq, KingVision, and Macintosh laryngoscopes in vehicle-entrapped patients

Gaszynska, Ewelina, Samsel, Piotr, Stankiewicz-Rudnicki, Michał, Wieczorek, Andrzej, Gaszynski, Tomasz

Journal:

European Journal of Emergency Medicine

Year:

2013

Language:

english

File:

PDF, 245 KB

english, 2013

10

Application of fly ash agglomerates in the sorption of arsenic

Polowczyk, Izabela, Bastrzyk, Anna, Koźlecki, Tomasz, Rudnicki, Piotr, Sawiński, Wojciech, Sadowski, Zygmunt, Sokołowski, Adam

Journal:

Polish Journal of Chemical Technology

Year:

2007

Language:

english

File:

PDF, 1021 KB

english, 2007

11

Commutative Algebra in the Mizar System

Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 369 KB

english, 2001

12

A Compendium of Continuous Lattices in MIZAR

Grzegorz Bancerek, Piotr Rudnicki

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 208 KB

english, 2002

13

Pretreatment and desalination of flowback water from the hydraulic fracturing

Michel, Magdalena M., Reczek, Lidia, Granops, Marian, Rudnicki, Piotr, Piech, Adam

Journal:

DESALINATION AND WATER TREATMENT

Year:

2015

Language:

english

File:

PDF, 542 KB

english, 2015

14

967 - Minimally Invasive Technique Does not Affect Outomes of Pancreatoduodenectomy: United States National Inpatient Sample Analysis 2001–2014

Bueltmann, Kenneth W., Bachul, Piotr J., Kone, Lyonell B., Rudnicki, Marek

Journal:

Gastroenterology

Year:

2018

Language:

english

File:

PDF, 388 KB

english, 2018

15

Dynamic recognition of the configuration of bus networks

Wlodek Dobosiewicz, Pawel Gburzyński, Piotr Rudnicki

Journal:

Computer Communications

Year:

1991

Language:

english

File:

PDF, 577 KB

english, 1991

16

On two collision protocols for high speed bus LANs

Włodek Dobosiewicz, Paweł Gburzyński, Piotr Rudnicki

Journal:

Computer Networks and ISDN Systems

Year:

1993

Language:

english

File:

PDF, 1.61 MB

english, 1993

17

Inside/Outside Tradition || The High Sky of the Holy Days

Adolf Rudnicki and Piotr Rawicz

Journal:

European Judaism

Year:

1973

Language:

english

File:

PDF, 1.07 MB

english, 1973

18

[IEEE 30th European Microwave Conference, 2000 - Paris, France (2000.10.4-2000.10.6)] 30th European Microwave Conference, 2000 - Numerical Investigation of Flip Chip Connections using FDTD Simulations

Starski, J. Piotr, Rudnicki, Janusz

Year:

2000

Language:

english

File:

PDF, 2.95 MB

english, 2000

19

The Virtual Drum Kit

Foltyn, Piotr, Flak, Przemyslaw, Czerwinski, Robert, Rudnicki, Tomasz

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 652 KB

english, 2010

20

Alteration of Selected Neurotrophic Factors and their Receptor Expression in Mouse Brain Response to Whole-Brain Irradiation

Pius-Sadowska, Ewa, Kawa, Miłosz Piotr, Kłos, Patrycja, Rogińska, Dorota, Rudnicki, Michał, Boehlke, Marek, Waloszczyk, Piotr, Machaliński, Bogusław

Journal:

Radiation Research

Year:

2016

Language:

english

File:

PDF, 3.04 MB

english, 2016

21

The Mycielskian of a Graph

Rudnicki, Piotr, Stewart, Lorna

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 262 KB

english, 2011

22

Erratum

Piotr Rudnicki, Włodzimierz Drabent

Journal:

Acta Informatica

Year:

1986

Language:

english

File:

PDF, 332 KB

english, 1986

23

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

Rudnicki, Piotr, Stewart, Lorna

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

24

LANSF: A protocol modelling environment and its implementation

Paweł Gburzyński, Piotr Rudnicki

Journal:

Software: Practice and Experience

Year:

1991

Language:

english

File:

PDF, 1.64 MB

english, 1991

25

ARUZ — Large-scale, massively parallel FPGA-based analyzer of real complex systems

Kiełbik, Rafał, Hałagan, Krzysztof, Zatorski, Witold, Jung, Jarosław, Ulański, Jacek, Napieralski, Andrzej, Rudnicki, Kamil, Amrozik, Piotr, Jabłoński, Grzegorz, Stożek, Dominik, Polanowski, Piotr, Mu

Journal:

Computer Physics Communications

Year:

2018

Language:

english

File:

PDF, 5.87 MB

english, 2018

26

ATP and Presentation Service for Mizar Formalizations

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 349 KB

english, 2013

27

A Virtual Token Protocol For Bus Networks: Correctness and Performance

Gburzynski, Pawel, Rudnicki, Piotr

Journal:

INFOR Information Systems and Operational Research

Year:

1989

Language:

english

File:

PDF, 1.77 MB

english, 1989

28

Use of fly ash agglomerates for removal of arsenic

Izabela Polowczyk, Anna Bastrzyk, Tomasz Koźlecki, Wojciech Sawiński, Piotr Rudnicki, Adam Sokołowski, Zygmunt Sadowski

Journal:

Environmental Geochemistry and Health

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

29

Mo1370 - Disparities in Laparoscopic Cholecystectomy Settings in the United States: 2013 Ambulatory Database Analysis

Bachul, Piotr J., Al-Qudah, Ghaith, Bueltmann, Kenneth W., Rudnicki, Marek

Journal:

Gastroenterology

Year:

2018

Language:

english

File:

PDF, 167 KB

english, 2018

30

Obvious inferences

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 479 KB

english, 1987

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски